Fix a VMX FPU bug introduced in changeset 8834.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 17 Feb 2006 11:28:35 +0000 (12:28 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 17 Feb 2006 11:28:35 +0000 (12:28 +0100)
commitae1754163bfc75b4e0551184022ca23dee41a997
tree4c2922523639951efabfceb3c5152c8753c27d98
parent9ff4a6f68eb5af4269abb07abb6d2f6007dca75e
Fix a VMX FPU bug introduced in changeset 8834.

From: Edwin Zhai

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/include/asm-x86/hvm/vmx/vmx.h